Negative2.agda:7,1-8,26
Bad is not strictly positive, because it occurs
in the first argument of Tree
in the type of the constructor bad
in the definition of Bad.
